Results for 'Robert A. G. Seely'

1000+ found
Order:
  1.  29
    Hyperdoctrines, Natural Deduction and the Beck Condition.Robert A. G. Seely - 1983 - Mathematical Logic Quarterly 29 (10):505-542.
  2.  12
    Categorical Logic and Type Theory.R. A. G. Seely - 2000 - Bulletin of Symbolic Logic 6 (2):225-229.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  3.  35
    Task Decomposition Through Competition in a Modular Connectionist Architecture: The What and Where Vision Tasks.Robert A. Jacobs, Michael I. Jordan & Andrew G. Barto - 1991 - Cognitive Science 15 (2):219-250.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   59 citations  
  4. Locally cartesian closed categories and type theory.R. A. G. Seely - 1984 - Mathematical Proceedings of the Cambridge Philosophical Society 95 (1):33.
    No categories
     
    Export citation  
     
    Bookmark   18 citations  
  5.  38
    Categorical semantics for higher order polymorphic lambda calculus.R. A. G. Seely - 1987 - Journal of Symbolic Logic 52 (4):969-989.
    A categorical structure suitable for interpreting polymorphic lambda calculus (PLC) is defined, providing an algebraic semantics for PLC which is sound and complete. In fact, there is an equivalence between the theories and the categories. Also presented is a definitional extension of PLC including "subtypes", for example, equality subtypes, together with a construction providing models of the extended language, and a context for Girard's extension of the Dialectica interpretation.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  6. Books Available List.Robert A. Ellis, Peter Goodyear, Enrique G. Murillo Jr, Sofia A. Villenas, Ruth Trinidad Galván & Juan Sánchez - 2010 - Educational Studies: A Jrnl of the American Educ. Studies Assoc 46 (3).
    No categories
     
    Export citation  
     
    Bookmark  
  7.  10
    16. A preliminary agenda for the psychology of science.Robert A. Neimeyer, William R. Shadish Jr, Eric G. Freedman, Barry Gholson & Arthur C. Houts - 1989 - In Barry Gholson (ed.), Psychology of Science: Contributions to Metascience. Cambridge University Press.
  8.  30
    Willingness to report unethical behavior in exit surveys.Robert A. Giacalone, Stephen B. Knouse & Hinda G. Pollard - 1999 - Teaching Business Ethics 3 (4):307-319.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. New York branch of the american psychological association.Robert A. Cummins, G. C. Myers, E. L. Cornell, A. I. Gates & A. T. Poffenberger - 1918 - Journal of Philosophy, Psychology and Scientific Methods 15 (5):130-134.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  14
    Current events periodicals and business ethics.Robert A. Phillips & James G. Clawson - 1998 - Teaching Business Ethics 2 (2):165-174.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  31
    Reduction in sleep duration and Type A behavior.Robert A. Hicks, Joseph G. Allen, Rima E. Armogida, Marcia A. Gilliland & Robert J. Pellegrini - 1980 - Bulletin of the Psychonomic Society 16 (2):109-110.
  12.  23
    Letters to the Editor.Robert A. Hatch & G. A. Russell - 2000 - Isis 91 (3):554-560.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  19
    Rat behaviors during unsignaled avoidance and conditioned suppression training.A. E. Roberts, Karol G. Cooper & Tonya L. Richey - 1977 - Bulletin of the Psychonomic Society 9 (5):373-376.
  14.  23
    Characterizing dislocation structure evolution during cyclic deformation using electron channelling contrast imaging.J. Ahmed, S. G. Roberts & A. J. Wilkinson - 2006 - Philosophical Magazine 86 (29-31):4965-4981.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  33
    Local agro-ecological knowledge and its relationship to farmers' pest management decision making in rural Honduras.Kris A. G. Wyckhuys & Robert J. O’Neil - 2007 - Agriculture and Human Values 24 (3):307-321.
    Integrated pest management (IPM) has been widely promoted in the developing world, but in many regions its adoption rates have been variable. Experience has shown that to ensure IPM adoption, the complexities of local agro-production systems and context-specific folk knowledge need to be appreciated. Our research explored the linkages between farmer knowledge, pest management decision making, and ecological attributes of subsistence maize agriculture. We report a case study from four rural communities in the highlands of southeast Honduras. Communities were typified (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  54
    Selected readings: genetic engineering and bioethics.Robert A. Paoletti - 1974 - New York,: MSS Information.
    Social Values and Research in Human Embryology ROBERT G. EDWARDS and DAVID J. SHARP E 125 Babies by Means of In Vitro Fertilization: Unethical Experiments ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  6
    Untersuchungen zur historischen Glaubwurdigkeit des Polybios.Robert Drews & G. A. Lehmann - 1969 - American Journal of Philology 90 (4):487.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  14
    Strain-rate dependence of the brittle-to-ductile transition temperature in tungsten.A. Giannattasio & S. G. Roberts - 2007 - Philosophical Magazine 87 (17):2589-2598.
  19.  11
    Immersive Virtual Reality as an Adjunctive Non-opioid Analgesic for Pre-dominantly Latin American Children With Large Severe Burn Wounds During Burn Wound Cleaning in the Intensive Care Unit: A Pilot Study.Hunter G. Hoffman, Robert A. Rodriguez, Miriam Gonzalez, Mary Bernardy, Raquel Peña, Wanda Beck, David R. Patterson & Walter J. Meyer - 2019 - Frontiers in Human Neuroscience 13.
  20.  21
    Jacobs Bart. Categorical logic and type theory. Studies in logic and the foundations of mathematics, vol. 141. Elsevier, Amsterdam etc. 1999, xvii + 760 pp. [REVIEW]R. A. G. Seely - 2000 - Bulletin of Symbolic Logic 6 (2):225-229.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  23
    Review: Bart Jacobs, Categorical Logic and Type Theory. [REVIEW]R. A. G. Seely - 2000 - Bulletin of Symbolic Logic 6 (2):225-229.
  22. Dystopian Literature: A Theory and Research Guide.M. Keith Booker, Robert A. Collins, Robert Latham, Hal W. Hall, Paul G. Haschak & George Locke - 1995 - Utopian Studies 6 (2):134-139.
  23.  11
    Teaching the History of Science.G. M. Waller, John C. Greene, Robert E. Schofield, A. G. Unklesbay & Harry Woolf - 1958 - Isis 49 (1):77-78.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  73
    Quality Attestation for Clinical Ethics Consultants: A Two‐Step Model from the American Society for Bioethics and Humanities.Eric Kodish, Joseph J. Fins, Clarence Braddock, Felicia Cohn, Nancy Neveloff Dubler, Marion Danis, Arthur R. Derse, Robert A. Pearlman, Martin Smith, Anita Tarzian, Stuart Youngner & Mark G. Kuczewski - 2013 - Hastings Center Report 43 (5):26-36.
    Clinical ethics consultation is largely outside the scope of regulation and oversight, despite its importance. For decades, the bioethics community has been unable to reach a consensus on whether there should be accountability in this work, as there is for other clinical activities that influence the care of patients. The American Society for Bioethics and Humanities, the primary society of bioethicists and scholars in the medical humanities and the organizational home for individuals who perform CEC in the United States, has (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   53 citations  
  25.  7
    The effect of obesity on overall, circulatory disease-and diabetes-specific mortality.Richard G. Rogers, Robert A. Hummer & Patrick M. Krueger - 2003 - Journal of Biosocial Science 35 (1):107-129.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  91
    Recommendations for Nanomedicine Human Subjects Research Oversight: An Evolutionary Approach for an Emerging Field.Leili Fatehi, Susan M. Wolf, Jeffrey McCullough, Ralph Hall, Frances Lawrenz, Jeffrey P. Kahn, Cortney Jones, Stephen A. Campbell, Rebecca S. Dresser, Arthur G. Erdman, Christy L. Haynes, Robert A. Hoerr, Linda F. Hogle, Moira A. Keane, George Khushf, Nancy M. P. King, Efrosini Kokkoli, Gary Marchant, Andrew D. Maynard, Martin Philbert, Gurumurthy Ramachandran, Ronald A. Siegel & Samuel Wickline - 2012 - Journal of Law, Medicine and Ethics 40 (4):716-750.
    Nanomedicine is yielding new and improved treatments and diagnostics for a range of diseases and disorders. Nanomedicine applications incorporate materials and components with nanoscale dimensions where novel physiochemical properties emerge as a result of size-dependent phenomena and high surface-to-mass ratio. Nanotherapeutics and in vivo nanodiagnostics are a subset of nanomedicine products that enter the human body. These include drugs, biological products, implantable medical devices, and combination products that are designed to function in the body in ways unachievable at larger scales. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  27.  34
    Conversation, cognition and cultural evolution.Seán G. Roberts & Stephen C. Levinson - 2017 - Interaction Studies 18 (3):402-442.
    This paper outlines a first attempt to model the special constraints that arise in language processing in conversation, and to explore the implications such functional considerations may have on language typology and language change. In particular, we focus on processing pressures imposed by conversational turn-taking and their consequences for the cultural evolution of the structural properties of language. We present an agent-based model of cultural evolution where agents take turns at talk in conversation. When the start of planning for the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  16
    The Oxford Handbook of Universal Grammar.Ian G. Roberts (ed.) - 2016 - Oxford University Press UK.
    This handbook provides a critical guide to the most central proposition in modern linguistics: the notion, generally known as Universal Grammar, that a universal set of structural principles underlies the grammatical diversity of the world's languages. Part I considers the implications of Universal Grammar for philosophy of mind and the philosophy of language, and examines the history of the theory. Part II focuses on linguistic theory, looking at topics such as explanatory adequacy and how phonology and semantics fit into Universal (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  25
    In situstudy of self-ion irradiation damage in W and W–5Re at 500 °C.X. Yi, M. L. Jenkins, M. Briceno, S. G. Roberts, Z. Zhou & M. A. Kirk - 2013 - Philosophical Magazine 93 (14):1715-1738.
  30. Introduction.Robert A. Wilson - 1999 - In Species: New Interdisciplinary Essays. Cambridge, MA, USA:
    This volume of twelve specially commissioned essays about species draws on the perspectives of prominent researchers from anthropology , botany, developmental psychology , the philosophy of biology and science, protozoology, and zoology . The concept of species has played a focal role in both evolutionary biology and the philosophy of biology , and the last decade has seen something of a publication boom on the topic (e.g., Otte and Endler 1989; Ereshefsky 1992b; Paterson 1994; lambert and Spence 1995; Claridge, Dawah, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   35 citations  
  31.  35
    Altruism in social networks: evidence for a 'kinship premium'.Oliver Curry, Sam G. B. Roberts & Robin I. M. Dunbar - unknown
    Why and under what conditions are individuals altruistic to family and friends in their social networks? Evolutionary psychology suggests that such behaviour is primarily the product of adaptations for kin- and reciprocal altruism, dependent on the degree of genetic relatedness and exchange of benefits, respectively. For this reason, individuals are expected to be more altruistic to family members than to friends: whereas family members can be the recipients of kin and reciprocal altruism, friends can be the recipients of reciprocal altruism (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  32.  99
    The Subjective Value of Product Popularity: A Neural Account of How Product Popularity Influences Choice Using a Social and a Quality Focus.Robert P. G. Goedegebure, Irene O. J. M. Tijssen, L. Nynke van der Laan & Hans C. M. van Trijp - 2022 - Frontiers in Psychology 12.
    Research on social influences often distinguishes between social and quality incentives to ascribe meaning to the value that popularity conveys. This study examines the neural correlates of those incentives through which popularity influences preferences. This research reports an functional magnetic resonance imaging experiment and a behavioral task in which respondents evaluated popular products with three focus perspectives; unspecified focus, focus on social aspects, and focus on quality. The results show that value derived with a social focus reflects inferences of approval (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  6
    Natural Theology.G. G. Stokes.Robert A. Duff - 1893 - International Journal of Ethics 3 (2):256-257.
  34.  9
    Natural Theology.G. G. Stokes.Robert A. Duff - 1894 - International Journal of Ethics 5 (1):133-134.
  35.  41
    The Interactive Origin of Iconicity.Mónica Tamariz, Seán G. Roberts, J. Isidro Martínez & Julio Santiago - 2018 - Cognitive Science 42 (1):334-349.
    We investigate the emergence of iconicity, specifically a bouba-kiki effect in miniature artificial languages under different functional constraints: when the languages are reproduced and when they are used communicatively. We ran transmission chains of participant dyads who played an interactive communicative game and individual participants who played a matched learning game. An analysis of the languages over six generations in an iterated learning experiment revealed that in the Communication condition, but not in the Reproduction condition, words for spiky shapes tend (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  36.  72
    Diffusion of Corporate Responsibility Practices to Companies: The Experience of the Forest Sector.Natalia G. Vidal, Gary Q. Bull & Robert A. Kozak - 2010 - Journal of Business Ethics 94 (4):553-567.
    This qualitative study indentifies how corporate responsibility (CR) practices are diffused to companies, as well as the factors that influence this diffusion process. Forest companies, industry associations, non-governmental organizations, and academics in Brazil, Canada, and the United States participated in this interview-based study. Data emerging from a grounded theory approach revealed three factors influencing the diffusion of CR practices to companies: (1) external contextual characteristics, (2) connectors, and (3) experts and expert organizations. These three factors influence each other, meaning that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  13
    Iconicity and Diachronic Language Change.Padraic Monaghan & Seán G. Roberts - 2021 - Cognitive Science 45 (4):e12968.
    Iconicity, the resemblance between the form of a word and its meaning, has effects on behavior in both communicative symbol development and language learning experiments. These results have invited speculation about iconicity being a key feature of the origins of language, yet the presence of iconicity in natural languages seems limited. In a diachronic study of language change, we investigated the extent to which iconicity is a stable property of vocabulary, alongside previously investigated psycholinguistic predictors of change. Analyzing 784 English (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  35
    The black–white factor is g.Robert A. Gordon - 1985 - Behavioral and Brain Sciences 8 (2):229-231.
  39. A Theory of Metaphysical Indeterminacy.Elizabeth Barnes & J. Robert G. Williams - 2011 - In Karen Bennett & Dean W. Zimmerman (eds.), Oxford Studies in Metaphysics Volume 6. Oxford University Press UK. pp. 103-148.
    If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   140 citations  
  40.  13
    Brittle–ductile transitions in polycrystalline tungsten.A. Giannattasio, Z. Yao, E. Tarleton & S. G. Roberts - 2010 - Philosophical Magazine 90 (30):3947-3959.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  17
    Molinist Divine Complicity.Robert A. Elisher - 2015 - Proceedings of the American Catholic Philosophical Association 89:85-95.
    I argue here that God, as Molinism conceives Him, is complicit in moral evil. This is of course a problem because complicity in evil undermines divine perfection. I argue, however, that it is a problem that Open Theism, as a theory of “general” (as opposed to “meticulous”) providence, avoids. This claim opposes that of Neal Judisch, who has recently (2012) argued that theories of general providence (e.g., Open Theism) are in no better position to answer the problem of gratuitous evil (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  29
    De Novis Libris Iudicia.B. A. Van Groningen, W. J. W. Koster, W. Den Boer, Robert M. Grant, R. E. H. Westendorp Boerma, A. G. Roos, A. Sizoo, P. De Jonge, J. H. Thiel, A. W. Byvanck, H. Wagenvoort & H. H. Janssen - 1951 - Mnemosyne 4 (3):324-340.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  13
    Landmarks of Botanical History. Edward Lee Greene, Frank N. Egerton, Robert P. McIntosh, Rogers McVaugh.A. G. Morton - 1984 - Isis 75 (4):742-743.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  31
    Optimizing Military Human Subjects Protection and Research Productivity: The Role of Institutional Memory.Michael D. April, Carolyn W. April, Steven G. Schauer, Joseph K. Maddry, Daniel J. Sessions, W. Tyler Davis, Patrick C. Ng, Joshua Oliver & Robert A. Delorenzo - 2016 - American Journal of Bioethics 16 (8):43-45.
  45.  18
    Subsurface damage in alumina and alumina–silicon carbide nanocomposites.B. K. Tanner, H. Z. Wu |, S. G. Roberts & T. P. A. Hase - 2004 - Philosophical Magazine 84 (12):1219-1232.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  10
    Isaiah Berlin: a Kantian and post-idealist thinker.Robert A. Kocis - 2022 - [Cardiff]: University of Wales Press.
    This book argues that the Russian-British philosopher Isaiah Berlin should primarily be understood through British idealism. Though he adopted Kantian methodology and a view of people as purposive beings, he rejected the Idealists' monism and theories of positive liberty. Robert A. Kocis demonstrates how, like Michael Oakeshott and R. G. Collingwood, Berlin can be seen as a 'post-Idealist' thinker, invested in the implications of that rich tradition.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  8
    Explaining Mythical Composite Monsters in a Global Cross-Cultural Sample.Timothy W. Knowlton & Seán G. Roberts - 2023 - Journal of Cognition and Culture 24 (1-2):51-74.
    Composite beings (“monsters”) are those mythical creatures composed of a mix of different anatomical forms. There are several scholarly claims for why these appear in the imagery and lore of many societies, including claims that they are found near-universally as well as those arguments that they co-occur with particular sociocultural arrangements. In order to evaluate these claims, we identify the presence of composite monsters cross-culturally in a global sample of societies, the Standard Cross-Cultural Sample. We find that composite beings are (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  3
    Political speeches and journalism (1923-1929).Miguel de Unamuno & Stephen G. H. Roberts - 1996 - Exeter Hispanic Texts.
    This book reprints a wide variety of articles and speeches for the first time since they appeared in Spanish and foreign journals and in clandestine broadsheets from France. Some censored material has been restored.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  32
    Kant's Theory of Evil: An Interpretation and Defense.Robert A. Gressis - 2008 - Dissertation, University of Michigan
    Kant’s theory of evil, presented most fully in his Religion within the Boundaries of Mere Reason, has been consistently misinterpreted since he first presented it. As a result, readers have taken it to be a mess of inconsistencies and eccentricities and so have tried to mine it for an insight or two, dismissed it altogether, or sought to explain how Kant could have gone so wrong. In this work, I provide an interpretation of Kant’s theory of evil that renders it (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  24
    Stimulus generalization as a function of drive level, and the relation between two measures of response strength.J. Robert Newman & G. Robert Grice - 1965 - Journal of Experimental Psychology 69 (4):357.
1 — 50 / 1000